Lyrebird - Assigning Meanings to Machines
نویسنده
چکیده
This paper presents work in progress on the Lyrebird framework, consisting of a language for specifying the programmervisible behaviour of a processor and its associated devices, a tool for automatically producing a fast simulator, and a formal semantic interpretation providing a machine model for use in an interactive theorem prover. Machine specifications are modular, providing abstract interfaces and structural parameterization (MMU-less processors, for example). Also presented is a specific example: An instantiation for the ARM1136jf-s core.
منابع مشابه
LyrebirdTM: Developing Spoken Dialog Systems Using Examples
An early release software product for the rapid development of spoken dialog systems (SDS’s), known as Lyrebird [1][2][3], will be demonstrated that makes use of grammatical inference to build natural language, mixed initiative, speech recognition applications. The demonstration will consist of the presenter developing a spoken dialog system using Lyrebird, and will include a demonstration of s...
متن کاملA Threshold Accepting Algorithm for Partitioning Machines in a Tandem Automated Guided Vehicle
Abstract : A tandem automated guided vehicle (AGV) system deals with grouping workstations into some non-overlapping zones , and assigning exactly one AGV to each zone. This paper presents a new non-linear integer mathematical model to group n machines into N loops that minimizes both inter and intra-loop flows simultaneously. Due to computational difficulties of exact methods in solving our pr...
متن کاملA deconstructive critique of a mystical anecdote from the book Ronaq al-Majalis [The Prosperity of Meetings]
Deconstruction was first introduced in the thought of Jacques Derrida as a way of re-reading texts and questioning its presuppositions. This type of critique seeks to find new meanings by finding binary oppositions in the text and disrupting the superiority and domination of one side over the other, and on the other hand, by discovering gaps and discontinuities that have arisen in the text...
متن کاملProgramming Spoken Dialogs Using Grammatical Inference
Over-the-telephone Large Vocabulary Spoken Dialog Systems have now become a commercial reality. A major obstacle to the uptake of the technology is the effort required to construct spoken dialog applications, in particular the grammars. To overcome this obstacle, a spoken dialogue toolkit has been developed that uses grammatical inference in combination with a templating technique to build tran...
متن کاملVirtual manufacturing cells scheduling considering lotstreaming and sequence dependent setup times
In this paper, a new mathematical model for the problem of job scheduling in virtual manufacturing cells (VMC) is presented to minimizing the completion time of all jobs. Sequence dependent setup times of machines is considered and lot-streaming is possible. In Virtual manufacturing cells, each job has a different processing path and there is a set of machines for processing each operation. The...
متن کامل